Symbolic system

Results: 148



#Item
101Archive formats / Computer file / Inter-process communication / Tar / Folder / Redirection / Gzip / Find / Symbolic link / Computing / Software / System software

freeworld.posterous.com Linux Bash Shell Cheat Sheet (works with about every distribution, except for apt-get which is Ubuntu/Debian exclusive)

Add to Reading List

Source URL: cli.learncodethehardway.org

Language: English - Date: 2011-12-23 17:08:01
102Technology / Software / Mathematical notation / Software calculator / WebMathematics Interactive / Calculator / Computer algebra system / Symbolic computation / Mouse / Calculators / Office equipment / Mathematics

1 e WebMathematics Interactive 2 This documentation is a concise description of WebMathematics Interactive 2 (WMI2).

Add to Reading List

Source URL: matek.hu

Language: English - Date: 2009-07-04 09:26:02
103Surveying / Visualization / Cadastre / Real estate / Public Land Survey System / Map / Land survey / Topological map / Plat / Cartography / Geography / Geodesy

Graphics is a language with its own vocabulary, syntax, idioms, conventional marks, symbolic characters, referents and abbreviations. The agreement as to the application of that language to a specific graphic endeavor is

Add to Reading List

Source URL: www.oregon.gov

Language: English - Date: 2012-09-20 14:30:26
104File managers / File system / Symbolic link / Find / Computer file / Windows Vista / Windows Explorer / Software / System software / Computing

FSLINT 1 Published : [removed]License : None

Add to Reading List

Source URL: en.flossmanuals.net

Language: English - Date: 2014-02-19 17:20:25
105Filesystem permissions / Umask / Ln / Symbolic link / Network File System / Tar / Setuid / Ls / Sticky bit / Computing / Unix / System software

Lab 04 File management: starting from / Hands-on Unix system administration DeCal[removed], due[removed]Your answers should only contain commands or brief responses. Please save trees, don’t print out your compute

Add to Reading List

Source URL: decal.ocf.berkeley.edu

Language: English - Date: 2012-12-06 00:11:54
106Formal methods / Hybrid automaton / State transition system / Computer science / Cellular automata / Model checking / Automata theory / Models of computation / Theoretical computer science

Accepted to appear in IEE Systems Biology Symbolic Reachable Set Computation of Piecewise Affine Hybrid Automata and its Application to Biological Modelling: Delta-Notch Protein Signalling Ronojoy Ghosh

Add to Reading List

Source URL: www.eecs.berkeley.edu

Language: English - Date: 2006-11-03 02:08:52
107Cross-platform software / Procedural programming languages / Lisp programming language / Array programming languages / Macsyma / Computer algebra system / Numerical analysis / Maple / Fortran / Software / Computing / Functional languages

Chapter 1 PROBLEM SOLVING ENVIRONMENTS AND SYMBOLIC COMPUTING Richard J. Fateman University of California, Berkeley

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 1999-11-09 12:00:26
108Computer security / Hacking / Computer network security / Vulnerability / Communications protocol / Social vulnerability / Symbolic execution / Intrusion prevention system / Parsing / Computing / Software testing / Cyberwarfare

Towards Generating High Coverage Vulnerability-Based Signatures with Protocol-Level Constraint-Guided Exploration Juan Caballero21 , Zhenkai Liang3 , Pongsin Poosankam21 , Dawn Song1 1

Add to Reading List

Source URL: bitblaze.cs.berkeley.edu

Language: English - Date: 2013-03-28 20:19:28
109Filename / File system / File / Ln / Ls / Path / Symbolic link / Du / Command-line interface / Computing / Unix / Software

THE MITRE CORPORATION The OVAL® Language UNIX Component Model Specification Version 5.11

Add to Reading List

Source URL: oval.mitre.org

Language: English - Date: 2013-09-25 17:27:24
110Cybernetics / Knowledge / Hybrid intelligent system / Neuro-fuzzy / Artificial neural network / Connectionist expert system / Computational intelligence / Neural network / Fuzzy logic / Artificial intelligence / Science / Computational neuroscience

Bridging the gap between subsymbolic and symbolic techniques: A pragmatic approach G. STAMOU*, D.VOGIATZIS* and S. STROVE** * Department of Electrical and Computer Engineering National Technical University of Athens Hero

Add to Reading List

Source URL: www.image.ece.ntua.gr

Language: English - Date: 2000-10-25 10:58:52
UPDATE